$\vdash$ $X$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$${\it pr}$:${\it Pgm}$. ${\it pr}$ $\vDash$ $X$